Buscar
Mostrando ítems 1-10 de 224
ReActive Engine reativo de física
(Universidade Federal de Pernambuco, 2014)
Framework de síntese de sistemas digitais em alto nível de abstração para emprego em ferramentas CAD
(Universidade Federal do TocantinsPalmasCiência da ComputaçãoPalmasGraduação, 2021)
Geração mecanizada de abstrações seguras para especificações CSP
(Universidade Federal de Pernambuco, 2014)
A CONSTRUÇÃO DO BLOG COMO PORTFÓLIO DE APRENDIZAGEM
(UFRGS, 2013)
Ferramentas de ensino com grafos de fluxo de fados em três níveis de abstraçãoTeaching tools with data flow graphs at three levels of abstraction
(Universidade Federal de ViçosaCiência da Computação, 2023)
ViXQueL: uma ferramenta web para acesso a banco de dados XML nativo
(Universidade Federal de Pernambuco, 2014)
Curvas Cônicas: do espaço ao plano da abstração ao registro visual numa perspectiva dinâmicaCurvas Cônicas: do espaço ao plano da abstração ao registro visual com auxílio da geometria dinâmica
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Educacao Matematica e Tecnologica, 2019)